vartype($i$;$x$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$w$.T($i$,$x$)